2921. #Rewriting techniques and applications
پدیدآورنده : #edited by Pierre Lescanne
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Rewriting systems )Computer science(- Congresses ،Electronic digital computers- Programming- Congresses ،Computer algorithms- Congresses
رده :
#
QA
،#.
R48
2922. Rewriting techniques and applications; Bordeaux, France, May 25-27, 1987, proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Algorithms
رده :
QA
76
.
L4
v
.
256
2923. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
رده :
QA
76
.
L4
v
.
202
2924. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1989
2925. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
پدیدآورنده : Ronald V. Book, ed
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Electronic digital computers -- Programming,Congresses ، Algorithms
رده :
QA
267
.
I555
1991
2926. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1991
2927. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1993
2928. Rhetoric and the digital humanities /
پدیدآورنده : edited by Jim Ridolfo and William Hart-Davidson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Humanities-- Digital libraries,Rhetoric-- Study and teaching-- Electronic information resources
رده :
AZ195
.
R47
2015
2929. Right the first time :
پدیدآورنده : Lee W. Ritchey ; power section by John Zasio ; edited by Kella J. Knack.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer interfaces.,Electronic digital computers-- Design and construction.,Microcomputers-- Buses.,Very high speed integrated circuits-- Design and construction.
رده :
TK7888
.
3
.
R55
2003
2930. Right the first time :
پدیدآورنده : Lee W. Ritchey ; power section by John Zasio ; edited by Kella J. Knack.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer interfaces.,Electronic digital computers-- Design and construction.,Microcomputers-- Buses.,Very high speed integrated circuits-- Design and construction.
رده :
TK7888
.
3
.
R55
2003
2931. Robust computing with nano-scale devices
پدیدآورنده : Chao Huang, editor
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic digital computers, Circuits,Nanoelectronics
رده :
TK
،
7888
.
4
،.
R63
،
2010
2932. Robust computing with nano-scale devices
پدیدآورنده : / Chao Huang, editor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic digital computers, Circuits,Nanoelectronics
رده :
E-BOOK
2933. Robust computing with nano-scale devices
پدیدآورنده : / Chao Huang, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers, Circuits,Nanoelectronics
رده :
TK7888
.
4
.
R63
2010
2934. Robust computing with nano-scale devices : progresses and challenges
پدیدآورنده : Chao Huang, editor
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Circuits ، Electronic digital computers,، Nanoelectronics
رده :
TK
7888
.
4
.
R63
2010
2935. Role of information technology in library
پدیدآورنده : Pramod Kumar Singh editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Information technology,، Digital libraries,Management ، Digital libraries,Management ، Electronic information resources,، Libraries - Automation
رده :
Z
678
.
9
.
R65
2012
2936. Rounding errors in algebraic processes
پدیدآورنده : Wilkinson, James Hardy
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers,، Roundoff errors
رده :
QA
76
.
5
.
W53
1964
2937. Rudiments of FORTRAN
پدیدآورنده : Meissner, Loren P.
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers -- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2938. SIGMETRICS 2005 : International Conference on Measurement and Modeling of Computer Systems, June 6-10, 2005, Banff, Alberta, Canada : proceedings
پدیدآورنده : sponsored by ACM SIGMETRICS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Computer networks,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
5
.
I52
2005
2939. SIGMETRICS'2001/PERFORMANCE'2001 : Joint International Conference on Measurement and Modeling of Computer Systems June 16-20, 2001, Cambridge, Massachusetts, USA
پدیدآورنده : sponsored by ACM SIGMETRICS and IFIP Working Group 7.3
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Computer networks,Evaluation -- Congresses ، Electronic digital computers
رده :
TK
5105
.
5
.
I565
2001
2940. SIGMETRICS 2001/PERFORMANCE 2001 Joint International Conference on Measurement and Modeling of Computer Systems: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer networks-- Evaluation,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
9
.
E94
.
P46
2001